@InProceedings{SouzaFerr:1994:EsFoLi,
               author = "Souza, Clarisse Sieckenius de and Ferreira, Deller James",
          affiliation = "{Departamento de Inform{\'a}tica da Pontif{\'{\i}}cia 
                         Universidade Cat{\'o}lica do Rio de Janeiro (PUC-Rio)} and 
                         {Departamento de Estat{\'{\i}}stica e Inform{\'a}tica da 
                         Universidade Federal de Goi{\^a}nia (UFGO)}",
                title = "Especifica{\c{c}}{\~o}es formais para linguagens visuais de 
                         programa{\c{c}}{\~a}o",
            booktitle = "Anais...",
                 year = "1994",
               editor = "Freitas, Carla dal Sasso and Geus, Klaus de and Scheer, 
                         S{\'e}rgio",
                pages = "181--188",
         organization = "Simp{\'o}sio Brasileiro de Computa{\c{c}}{\~a}o Gr{\'a}fica e 
                         Processamento de Imagens, 7. (SIBGRAPI)",
            publisher = "Sociedade Brasileira de Computa{\c{c}}{\~a}o",
              address = "Porto Alegre",
             keywords = "linguagens de programa{\c{c}}{\~a}o, linguagens visuais, 
                         L-Systems, estruturas sint{\'a}ticas, percep{\c{c}}{\~a}o 
                         visual.",
             abstract = "Este trabalho apresenta o projeto de LvPASCAL, uma linguagem 
                         visual de programa{\c{c}}{\~a}o baseada em PASCAL. Ap{\'o}s uma 
                         breve an{\'a}lise de variedade de conceitos associados {\`a} 
                         programa{\c{c}}{\~a}o visual, prop{\~o}e-se que a 
                         emerg{\^e}ncia de reais inst{\^a}ncias deste tipo de c{\'o}digo 
                         gr{\'a}fico exige formaliza{\c{c}}{\~a}o sint{\'a}tica e 
                         motiva{\c{c}}{\~a}o cognitiva. A formaliza{\c{c}}{\~a}o 
                         sint{\'a}tica {\'e} indispens{\'a}vel {\`a} 
                         compila{\c{c}}{\~a}o de programas e em programador possa 
                         escrever e entender c{\'o}digo nesta linguagem. Em LvPASCAL a 
                         motiva{\c{c}}{\~a}o das imagens {\'e} perceptiva, associando 
                         formas geom{\'e}tricas a no{\c{c}}{\~o}es de controle e 
                         modulariza{\c{c}}{\~a}o de programas.",
  conference-location = "Curitiba, PR, Brazil",
      conference-year = "9-11 Nov. 1994",
                 isbn = "978-85-7669-272-0",
             language = "pt",
                  ibi = "8JMKD3MGPBW34M/3DEAE7H",
                  url = "http://urlib.net/ibi/8JMKD3MGPBW34M/3DEAE7H",
           targetfile = "24 Especificacoes formais para linguagens.pdf",
                 type = "Linguagens e Visualiza{\c{c}}{\~a}o",
               volume = "1",
        urlaccessdate = "2024, May 01"
}